Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
561	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
562	A fuzzy approach to Public transport quality of service based on AVM data collection: the real case of Rome Bus System S. Carrese, S. La Spada “Roma Tre” University, Italy ABSTRACT Add to Reading List Source URL: www.mech.kuleuven.be Language: English - Date: 2011-05-31 08:59:11 Mathematical logic Transportation planning Control engineering Artificial intelligence Logic in computer science Quality of service Fuzzy control system Fuzzy set On-time performance Transport Logic Fuzzy logic
563	“Gamification” from the perspective of service marketing Kai Huotari Abstract Add to Reading List Source URL: gamification-research.org Language: English - Date: 2011-04-11 04:08:48 Service dominant logic Co-creation Service system Service science management and engineering Service design Game mechanics Relationship marketing Roman Rackwitz Marketing Gamification Gaming
564	PDF Document Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2012-08-16 15:05:00 Lambda calculus Algebraic geometry Field theory Valuation Eval Normalisation by evaluation Combinatory logic Mathematics Theoretical computer science Abstract algebra
565	A Generic Framework for the Analysis and Specialization of Logic Programs? Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:06:12 Abstract interpretation Mathematical logic Algorithm Partial evaluation Programming language Principles of Programming Languages Logic programming Logic Scientific modelling Science Software engineering Computing
566	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
567	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:01:47 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
568	CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati Add to Reading List Source URL: www.cscamm.umd.edu Language: English - Date: 2014-11-06 22:01:57 Distribution Functional analysis Dirac delta function Siméon Denis Poisson Euler equations Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Generalized functions Fourier analysis
569	CONTENTS 1. Nonstandard analysis on the real line 1. Introduction to nonstandard real line 2. Development of nonstandard analysis 1 Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Abstract algebra Ultraproduct Internal set Set theory Real number Parametrization Zermelo–Fraenkel set theory Criticism of non-standard analysis Non-standard analysis Mathematics Mathematical logic
570	The Subtraction Arguments for Metaphysical Nihilism: compared and defended Gonzalo Rodriguez-Pereyra () Oriel College, University Oxford 1. The subtraction argument, originally put forward by Thomas Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2012-11-07 10:06:19 Ontology Philosophical logic Binary operations Metaphysical nihilism Nihilism Deduction Entailment Abstract object Temporal parts Logic Metaphysics Philosophy

UPDATE